$\forall$${\it loc}$:Id, $k$:Knd, $L$:(Id List). Raframe(${\it loc}$; $k$; $L$) $\in$ es\_realizer\{i:l\}